Nuprl Definition : Reffect-T
11,40
postcript
pdf
Reffect-T(
x1
)
== es_realizer_ind(
x1
;
== es_realizer_ind(
;
== es_realizer_ind(
left
,
right
,
rec1
,
rec2
.
;
== es_realizer_ind(
loc
,
T
,
x
,
v
.
;
== es_realizer_ind(
loc
,
T
,
x
,
L
.
;
== es_realizer_ind(
lnk
,
tag
,
L
.
;
== es_realizer_ind(
loc
,
ds
,
knd
,
T
,
x
,
f
.
T
;
== es_realizer_ind(
ds
,
knd
,
T
,
l
,
dt
,
g
.
;
== es_realizer_ind(
loc
,
ds
,
a
,
p
,
P
.
;
== es_realizer_ind(
loc
,
k
,
L
.
;
== es_realizer_ind(
loc
,
k
,
L
.
;
== es_realizer_ind(
loc
,
x
,
L
.
)
latex
Definitions
es
realizer
ind
,
FDL editor aliases
Reffect-T
origin